Reductio ad absurdum

Die Reductio ad absurdum (lateinisch für „Zurückführung auf das widrig Klingende/Ungereimte/Unpassende/Sinnlose“) ist eine Schlussfigur und Beweistechnik in der Logik. Bei der Reductio ad absurdum wird eine Aussage widerlegt, indem gezeigt wird, dass aus ihr ein logischer Widerspruch oder ein Widerspruch zu einer bereits anerkannten These folgt.

Als Beweistechnik ist die reductio ad absurdum unter der Bezeichnung „indirekter Beweis“, „Widerspruchsbeweis“ oder „Beweis durch Widerspruch“ bekannt. Dieser indirekte Beweis ist dadurch gekennzeichnet, dass man die zu beweisende Aussage nicht direkt herleitet, sondern dass man ihr kontradiktorisches Gegenteil (das heißt die Annahme, dass die Aussage nicht zutreffe) widerlegt. In der klassischen, zweiwertigen Logik, in der jede Aussage entweder wahr oder falsch ist, ist mit diesem Widerlegen des Gegenteils einer Aussage gezeigt, dass die betroffene Aussage korrekt ist.